Model checking - PDFSEARCH.IO - Document Search Engine

Model checking
Results: 996

#	Item
491	Generating counterexamples for quantitative safety specifications in probabilistic B Ukachukwu Ndukwu1 Department of Computing, Macquarie University, NSW 2109 Sydney, Australia. Abstract Add to Reading List Source URL: web.science.mq.edu.au Language: English - Date: 2010-04-30 06:17:08 Probabilistic complexity theory Complexity classes Probabilistic Turing machine Turing machine PP NL Predicate transformer semantics IP Model checking Theoretical computer science Computational complexity theory Applied mathematics
492	Curriculum Vitae Dr Daniele Magazzeni Current Position Position: Add to Reading List Source URL: www.dcs.kcl.ac.uk Language: English - Date: 2015-03-23 15:49:18 Planning Domain Definition Language Planner Automated planning and scheduling Artificial intelligence Model checking
493	Microsoft Word - CoverPages-from-LAAS.doc Add to Reading List Source URL: www.resist-noe.org Language: English - Date: 2007-07-16 10:09:10 Dependability Quality Safety Safety engineering Security ALGOL 58 Actor model Eval Model checking Computing Software engineering Programming language theory
494	TECS WeekProtocol Verification by the Inductive Method Add to Reading List Source URL: theory.stanford.edu Language: English - Date: 2005-01-05 04:09:40 Mathematical proof Model checking Mathematical induction IP Process calculus Model theory Mathematics Mathematical logic Logic
495	Final Report ASTEC Final ReportThis document including cover and appendices as pdf file. Add to Reading List Source URL: www.astec.uu.se Language: English - Date: 2007-12-07 12:09:48 Science Erlang Ericsson Software development process Model checking Royal Institute of Technology Computing Technology Australian Science Technology and Engineering Council
496	Proc. TACAS 2015, (c) Springer . Verifiable Witnesses Software Verification and (Report on SV-COMPDirk Beyer Add to Reading List Source URL: www.sosy-lab.org Language: English - Date: 2015-02-14 11:39:08 Applied mathematics Formal verification Software verification Model checking Linear temporal logic Verilog Mathematics Formal methods Logic in computer science Theoretical computer science
497	Doron Drusinsky Doron Drusinsky Associate Professor Research Areas Add to Reading List Source URL: www.nps.edu Language: English - Date: 2013-06-21 18:22:02 Formal verification Temporal logic Verification Mathematics Formal methods Logic in computer science Model checking
498	The Auspicious Couple: Symbolic Execution and WCET Analysis * Armin Biere1 , Jens Knoop2 , Laura Kovács3 , and Jakob Zwirchmayr2 1 2 3 Add to Reading List Source URL: www.cse.chalmers.se Language: English - Date: 2013-12-12 08:46:27 Real-time computing Worst-case execution time Symbolic execution KeY Program slicing Analysis of algorithms Model checking Control flow Abstract interpretation Theoretical computer science Programming language theory Computing
499	A Model Checking based Framework for Building Correct Context-Aware Systems Christian Hoareau Add to Reading List Source URL: www.nii.ac.jp Language: English - Date: 2010-03-08 19:45:47 Context aware network Query language Electronics Computing Context-aware pervasive systems Ubiquitous computing
500	Alloy and SCR: An Evaluation and Comparison Justin R. Erenkrantz, Scott Hendrickson Institute for Software Research University of California, Irvine Irvine, CA Add to Reading List Source URL: www.erenkrantz.com Language: English - Date: 2010-08-20 02:44:12 Model checkers Alloy Z notation Semantics Predicate logic Model checking Promela Variable Assertion Software engineering Formal methods Logic

UPDATE